$\forall$$w$:World, $e$:E. ($\uparrow$rcv?($e$)) $\Rightarrow$ (loc($e$) $\sim$ destination(link($e$)))